Computer University - PDFSEARCH.IO - Document Search Engine

Computer University
Results: 29298

#	Item
11	Baris Kasikci Assistant Professor Electrical Engineering and Computer Science University of Michigan 4820 BBB 2260 Hayward Street Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2018-10-23 14:59:27 Computing Technology California EMC Corporation VMware Embedded system Synopsys USENIX Annual Technical Conference Debugging Intel Software Guard Extensions Edouard Bugnion
12	Vector Lane Threading S. Rivoire, R. Schultz, T. Okuda, C. Kozyrakis Computer Systems Laboratory Stanford University Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:50 Central processing unit Computer architecture Parallel computing Computing Computer engineering Vector processor Data parallelism Vector Microarchitecture
13	Computer-based Trading, Institutional Investors and Treasury Bond Returns Xiaoquan Liu University Business School, Ningbo Ingrid Lo Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-08-16 22:16:54 Economy Finance Money Financial markets Mathematical finance Capitalism Stock market Short CBT Beta Bond
14	Leveraging Crowdsourcing for the Thematic Annotation of the Qur’an Amna Basharat, I. Budak Arpinar, Khaled Rasheed Dept. of Computer Science, University of Georgia, Athens, GA, 30605 USA amnabash,budak, Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:24:27 Information science Knowledge representation Knowledge engineering Artificial intelligence Knowledge Computational linguistics Natural language processing Crowdsourcing Ontology Semantic Web Annotation General Architecture for Text Engineering
15	The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-02 12:35:21 Logic Mathematical logic Mathematics Propositional calculus Logical truth Logic in computer science Syntax Automated theorem proving Resolution Frege system Boolean satisfiability problem First-order logic
16	HOnions: Detection and Identification of Snooping Tor HSDirs Amirali Sanatinia, Guevara Noubir College of Computer and Information Science Northeastern University, Boston, USA {amirali,noubir}@ccs.neu.edu Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-12 23:38:22 Computing Free software Dark web Internet Cryptographic protocols Internet Standards Computer network security Tor .onion Botnet Internet privacy Bipartite graph
17	The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:15 Parallel computing Computing Computer engineering Computer science Electrical engineering Electronic engineering Electromagnetism Message Passing Interface Model checking Computer programming Computational science Simulation
18	Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-10-17 07:22:55 Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Abstract algebra Stochastic game -automaton Lie algebras Lifting theory Littelmann path model
19	A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:44 Artificial intelligence Logic Logic programming Declarative programming Automated reasoning Programming paradigms Automated theorem proving Answer set programming Reasoning system Stable model semantics Prolog Inference
20	A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-12-05 09:33:38 Mathematical analysis Mathematics Embedded systems Prosthetics Artificial cardiac pacemaker Cardiac electrophysiology Cybernetics Neuroprosthetics IP Analysis FO Dirac delta function

UPDATE